Fair Π

Fair Π ?

In this paper, we define fair computations in the π-calculus [18]. We follow Costa and Stirling’s approach for CCS-like languages [9,10] but exploit a more natural labeling method of process actions to filter out unfair process executions. The new labeling allows us to prove all the significant properties of the original one, such as unicity, persistence and disappearance of labels. It also tur...

0 Observation of the φ → π + π − π + π − Decay

Using 11.6 pb of data collected in the energy range 0.984–1.06 GeV by CMD-2 at VEPP-2M, the cross section of the reaction e+e− → π+π−π+π− has been studied. For the first time an interference pattern was observed in the energy dependence of the cross section near the φ meson. The branching ratio of the φ → π+π−π+π− decay double suppressed by the G-parity and OZI rule is measured Br(φ → ππππ) = (...

0 → π + π − π 0 feasibility studies

Search for direct CP violating charge asymmetries in K ± → π ± π + π − and K ± → π ± π 0 π 0 decays

A measurement of the direct CP violating charge asymmetries of the Dalitz plot linear slopes Ag = (g + − g)/(g + g) in K → πππ and K → πππ decays by the NA48/2 experiment at CERN SPS is presented. A new technique of asymmetry measurement involving simultaneous K and K beams and a large data sample collected allowed a result of an unprecedented precision. The charge asymmetries were measured to ...

FAIR: Fair Audience InfeRence

Given the recent changes in the policy governing Internet content distribution, such as the institution of per listener royalties for Internet radio broadcasters, content distributors now have an incentive to under-report the size of their audience. Previous audience measurement schemes only protect against inflation of audience size. We present the first protocols for audience measurement that...